منابع مشابه
Haskell Server Pages - Functional Programming and the Battle for the Middle Tier
Haskell Server Pages (HSP) provide an easy way to create dynamic web pages and simplify the task of building middle tier components. This article gives an overview of HSP from a programmer’s perspective. It includes examples of HSP in action and gives a precise description of translating HSP scripts into plain Haskell.
متن کاملProlog Server Pages
Prolog Server Pages (PSP) is a scripting language, based on Prolog, than can be embedded in HTML documents. To run PSP applications one needs a web server, a web browser and a PSP interpreter. The code is executed, by the interpreter, on the server-side (web server) and the output (together with the html code in witch the PSP code is embedded) is sent to the client-side (browser). The current i...
متن کاملAUIT: Adaptable User Interface Technology, with Extended Java Server Pages
We describe a new approach to providing adaptable thin client interfaces for web-based systems that allows a developer to specify a web-based interface using a device-independent mark-up language embedded in conventional Java Server Pages. At run-time this single interface description is used to automatically provide an interface for multiple web devices e.g. desk-top HTML and mobile WML-based ...
متن کاملProlog Server Faces – A Declarative Framework for Dynamic Web Pages
With Prolog Server Faces, we provide a stateful and event driven framework for dynamic web applications written in PROLOG and XML. Following the MVC concept, the view of web pages is fully specified in a compact XML definition with statements for processing backend logic in PROLOG. Our framework provides an extensive, and easy to extend, tag library for compact XML, which will be expanded to XH...
متن کاملTyping Haskell in Haskell
Haskell benefits from a sophisticated type system, but implementors, programmers, and researchers suffer because it has no formal description. To remedy this shortcoming, we present a Haskell program that implements a Haskell typechecker, thus providing a mathematically rigorous specification in a notation that is familiar to Haskell users. We expect this program to fill a serious gap in curren...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Electronic Notes in Theoretical Computer Science
سال: 2001
ISSN: 1571-0661
DOI: 10.1016/s1571-0661(05)80547-x